101. Practical aspects of declarative languages : First International Workshop, PADL'99, San Antonio, Texas, USA, January 1999 : proceedings

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Congresses ، Programming languages )Electronic computers( -- Semantics

رده :
QA
76
.
L28
Vol
.
1551

102. Practical aspects of declarative languages : second International Workshop, PADL 2000, Boston, MA, USA, January 17-18, 2000 : proceedings

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Congresses ، Programming languages )Electronic computers( -- Semantics,Congresses ، Declarative programming

رده :
QA
76
.
L28
Vol
.
1753

103. Practical aspects of declarative languages : 7th International Symposium, PADL 2005, Long Beach, CA, USA, January 10-11, 2005 : proceedings

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Congresses ، Programming languages )Electronic computers( -- Semantics

رده :
QA
76
.
L28
Vol
.
3350

104. Practical aspects of declarative languages : 9th International Symposium, PADL 2007 Nice, France, January 14-15, 2007 : proceedings

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Congresses ، Programming languages )Electronic computers( -- Semantics

رده :
QA
76
.
L28
Vol
.
4354

105. Practical aspects of declarative languages : 6th international symposium, PADL 2004, Dallas, TX, USA, June 18-19, 2004 : proceedings

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Congresses ، Programming languages )Electronic computers( -- Semantics

رده :
QA
76
.
L28
Vol
.
3057

106. Practical aspects of declarative languages :5th international symposium, PADL 2003, New Orleans, LA, USA, January 13-14, 2003 : proceedings

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Congresses ، Programming languages )Electronic computers( -- Semantics

رده :
QA
76
.
L28
Vol
.
2562

107. Practical aspects of declarative languages : third international symposium, PADL 2001, Las Vegas, Nevada, March 11-12, 2001 : proceedings

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Congresses ، Programming languages )Electronic computers( -- Semantics

رده :
QA
76
.
L28
Vol
.
1990

108. Predicate calculus and program semantics

پدیدآورنده :

کتابخانه: (طهران)

موضوع : ، Predicate calculus,، Programming languages )Electronic computers( -- Semantics

رده :
QA
9
.
35
.
D55
1989

109. Predicate transformer semantics

پدیدآورنده :

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)

موضوع : ، Programming languages )Electronic computers(-- Semantics,، Computer science-- Mathematics

رده :
QA
76
.
7
.
M342
1992

110. Proceedings of the 2004 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation : )PEPM'04( : August 24-25, 2004, Verona, Italy

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Congresses ، Computer programming,Congresses ، Programming languages )Electronic computers( -- Semantics

رده :
QA
76
.
6
.
P45
2004

111. Proceedings of the 2003 ACM SIGPLAN workshop on Partial Evaluation and semantics-based program manipulation : )PEPM'03( : San Diego, California, USA, June 17th, 2003

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Congresses ، Computer programming,Congresses ، Programming languages )Electronic computers( -- Semantics

رده :
QA
76
.
6
.
P45
2003

112. Programmign language syntax and semantics

پدیدآورنده :

کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه تهران (طهران)

موضوع : Programming languages ( Electronic computers) --Semantics,Programming language (Electronic Computers)--Syntax

رده :
QA
76
.
7
.
W3
1991

113. Programming language semantics: imperative and object-oriented languages

پدیدآورنده :

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)

موضوع : ، Programming languages )Electronic computers(-- Semantics,، Object-oriented programming

رده :
QA
76
.
7
.
K57

114. Programming language semantics: imperative and object-oriented Languages

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Programming Languages )Electronic Computers( - Semantics , Object-oriented programming )Computer science(

رده :
QA
76
.
7
.
K57
1997

115. Programming language semantics: imperative and object-oriented languages

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)

موضوع : Semantics ، Programming languages )Electronic computers(,، Object-oriented programming )Computer science(

رده :
QA
76
.
7
.
K57
1997

116. Programming language structures

پدیدآورنده :

کتابخانه: (طهران)

موضوع : ، Programming languages )Electronic computers( -- Semantics,، Programming languages )Electronic computers( -- Syntax,، Data structures )Computer science(

رده :
QA
76
.
7
.
O73

117. #Programming language structures

پدیدآورنده :

کتابخانه: کتابخانه مرکزی دانشگاه صنعتی اصفهان (أصبهان)

موضوع : Programming languages )Electronic computers( -- Semantics ،Programming languages )Electronic computers( -- Syntax ،Data structures )Computer science(

رده :
#
QA
،#.
O6

118. Programming language structures

پدیدآورنده :

کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه صنعتي خواجه نصير الدين طوسى (طهران)

موضوع : ، Programming languages )Electronic computers( -- Semantics,، Programming languages )Electronic computers( -- Syntax,، Data structures )Computer science(

رده :
QA
76
.
7
.
O73

119. Programming languages and operational semantics :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Programming languages (Electronic computers)-- Semantics

رده :
QA76
.
7
.
F47
2014

120. Query optimization by semantic veasoning

پدیدآورنده :

کتابخانه: المكتبة المركزية بجامعة تبريز و مركز التوثيق والنشر (أذربایجان الشرقیة)

موضوع : Data base management,Information storage and retreval systems,Programming languages (Electronic computers) semantics

رده :
QA76
.
9
.
D3K55
1984